Jan Christoph Meiser's Documents

Jan Christoph Meiser's Documents

Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Read more
Quantum Geometry: A Statistical Field Theory Approach

Quantum Geometry: A Statistical Field Theory Approach
Read more
Balancing Reactivity and Social Deliberation in Multi-Agent Systems: From RoboCup to Real-World Applications

Balancing Reactivity and Social Deliberation in Multi-Agent Systems: From RoboCup to Real-World Applications
Read more
The Wrath of the Proph

The Wrath of the Proph
Read more
Great Jobs for Music Majors

Great Jobs for Music Majors
Read more
Petrarch and His Readers in the Renaissance (Intersections: Yearbook for Early Modern Studies)

Petrarch and His Readers in the Renaissance (Intersections: Yearbook for Early Modern Studies)
Read more
Prediction Markets

Prediction Markets
Read more
The Wrath of the Prophets

The Wrath of the Prophets
Read more
Das V-Modell® XT anpassen: Anpassung und Einführung kompakt für V-Modell® XT Prozessingenieure

Das V-Modell® XT anpassen: Anpassung und Einführung kompakt für V-Modell® XT Prozessingenieure
Read more
Systematic Design of Analog IP Blocks (The Springer International Series in Engineering and Computer Science)

Systematic Design of Analog IP Blocks (The Springer International Series in Engineering and Computer Science)
Read more
What's in a Name: Advertising and the Concept of Brands

What's in a Name: Advertising and the Concept of Brands
Read more
A History of Indian Literature, Volume VII: Buddhist and Jaina Literature, Fasc. 1: Literature of the Madhyamaka School of Philosophy in India

A History of Indian Literature, Volume VII: Buddhist and Jaina Literature, Fasc. 1: Literature of the Madhyamaka School of Philosophy in India
Read more
Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings (Lecture Notes in Computer Science)

Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings (Lecture Notes in Computer Science)
Read more
The Metric Theory of Tensor Products: Grothendieck's Résumé Revisited

The Metric Theory of Tensor Products: Grothendieck's Résumé Revisited
Read more
Confocal Raman Microscopy (Springer Series in Optical Sciences)

Confocal Raman Microscopy (Springer Series in Optical Sciences)
Read more
Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)

Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)
Read more
Studies in Comparative Germanic Syntax: Proceedings from the 15th Workshop on Comparative Germanic Syntax

Studies in Comparative Germanic Syntax: Proceedings from the 15th Workshop on Comparative Germanic Syntax
Read more
The Private Sector after Communism: New Entrepreneurial Firms in Transition Economies

The Private Sector after Communism: New Entrepreneurial Firms in Transition Economies
Read more
Matrix Algebra (Econometric Exercises)

Matrix Algebra (Econometric Exercises)
Read more
Quantitative Aspects of Ruminant Digestion and Metabolism Second Edition

Quantitative Aspects of Ruminant Digestion and Metabolism Second Edition
Read more
Politics of Globalization

Politics of Globalization
Read more
An Introduction to the Relativistic Theory of Gravitation

An Introduction to the Relativistic Theory of Gravitation
Read more
The Econometrics of Energy Systems

The Econometrics of Energy Systems
Read more
Fundraising im Non-Profit-Sektor: Marktbearbeitung von Ansprache bis Zuwendung

Fundraising im Non-Profit-Sektor: Marktbearbeitung von Ansprache bis Zuwendung
Read more
Digital Information Processing and Communications, Part I

Digital Information Processing and Communications, Part I
Read more
A History of Indian Literature, Volume V: Scientific and Technical Literature, Part 2, Fasc. 2: Dharmaśāstra and Juridical Literature

A History of Indian Literature, Volume V: Scientific and Technical Literature, Part 2, Fasc. 2: Dharmaśāstra and Juridical Literature
Read more
Nonprofit Sustainability: Making Strategic Decisions for Financial Viability

Nonprofit Sustainability: Making Strategic Decisions for Financial Viability
Read more
El arte del análisis

El arte del análisis
Read more
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications: 14th Iberoamerican Conference on Pattern Recognition, CIARP 2009, ... Vision, Pattern Recognition, and Graphics)

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications: 14th Iberoamerican Conference on Pattern Recognition, CIARP 2009, ... Vision, Pattern Recognition, and Graphics)
Read more
The History of Information Security: A Comprehensive Handbook

The History of Information Security: A Comprehensive Handbook
Read more